Arithmetic, set theory, reduction and explanation
نویسندگان
چکیده
منابع مشابه
Fuzzy Set Theory Explanation
We discuss an emerging group of successful parties in Central and Eastern "Concept Structures and Fuzzy Set Theory: A Proposal for Concept. Applying the fuzzy set theory is a good example of meaning. When viewing the areas of decision making in marketing, decision making in the business. A conceptual formulation emphasizes on the meaning and interpretation of the formulations makes an in-depth ...
متن کاملOn Interpretations of Arithmetic and Set Theory
This would make an excellent starting point for any beginning research student working in the area of models of Peano arithmetic, since an understanding of how these interpretations work enables all coding techniques from set theory to be employed in arithmetic in a uniform way, and also places PA ‘on the map’ (in the sense of consistency and interpretation strength) relative to set theory. Thi...
متن کاملConsequences of Arithmetic for Set Theory
In this paper, we consider certain cardinals in ZF (set theory without AC, the Axiom of Choice). In ZFC (set theory with AC), given any cardinals C and D, either C ≤ D or D ≤ C. However, in ZF this is no longer so. For a given infinite set A consider seq 1 1 (A), the set of all sequences of A without repetition. We compare seq 1 1 (A) , the cardinality of this set, to P(A) , the cardinality of ...
متن کاملArithmetic Teichmuller Theory
By Grothedieck's Anabelian conjectures, Galois representations landing in outer automorphism group of the algebraic fundamental group which are associated to hyperbolic smooth curves defined over number fields encode all arithmetic information of these curves. The goal of this paper is to develope and arithmetic teichmuller theory, by which we mean, introducing arithmetic objects summarizing th...
متن کاملA Computational Theory of Inference for Arithmetic Explanation
Mathematical understanding can be measured by a cognitive agent’s ability to explain itself, i.e., answer relevant questions about its mathematical activities. Two inference techniques, rule-based inference and path-based inference, are applied to an implemented computational cognitive agent using the SNePS knowledgerepresentation, reasoning, and acting system.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Synthese
سال: 2017
ISSN: 0039-7857,1573-0964
DOI: 10.1007/s11229-017-1450-8